T 


(DEFUN LABELGEN (FN U) (CONS FN (LABELS U 1 NIL)))

(DEFUN LABELS (U N V) 
       (COND ((NULL U) V)
	     ((EQ N (CAR U)) (LABELS (CDDR U)
				     1
				     (CONS V (CONS (CADR U) N))))
	     (T (LABELS U (+ 1 N) (CONS V (CONS (CADR U) N))))))